Mathematicians issue Leiden Declaration warning AI threatens the discipline's future

An international group of mathematicians has issued the Leiden Declaration, warning that recent advances in artificial intelligence threaten the core values of mathematical research. The declaration, published after a 2025 workshop at the Lorentz Center in Leiden, specifically highlights disproportionate impacts on students and early-career mathematicians, raising concerns about the long-term future of the discipline as the tech industry increasingly encroaches on academic mathematics, according to tldr.nettime.org. The declaration outlines various uses of AI systems in mathematics, including the formalisation of proofs, and raises concerns about how AI may affect established practices in mathematical research, Hacker News reported. It was developed in consultation with an international group of researchers. "Mathematicians warn AI developments threaten the future of mathematical research in new Leiden Declaration" The warning comes as the tech industry's growing influence on mathematics research creates new pressures, particularly for those early in their careers. The declaration aims to spark discussion about preserving the field's foundational values while engaging with AI tools. "Leiden Declaration addresses AI's growing role and impact on mathematical research practices" The mathematicians behind the declaration are calling for careful consideration of how AI integration might reshape the discipline, urging the community to safeguard the human elements of mathematical discovery even as computational tools become more powerful.

2 sources•19 JunRead the Baker's Take→